11:00
            
            
                
                    - 11:15
                
            
        画像処理を用いた木材の径級分類に関する研究
                Automatic measurement of wood minimum diameter by image processing
                
            
                11:15
            
            
                
                    - 11:30
                
            
        都市空間における全体最適を指向した自律的交通制御則の開発
                Studies on Autonomous Traffic Control Policies Considering Total Optimization in Urban Districts
                
            
                11:30
            
            
                
                    - 11:45
                
            
        UPPAAL SMCを用いた交差点における自動運転車群制御システムの検証
                Formal verification of autonomous vehicle group control systems at an intersection using UPPAAL SMC
                
            
                11:45
            
            
                
                    - 12:00
                
            
        巡回セールスマン問題の整数線形計画問題の近傍制約による近似的求解
                Approximated Solutions to Integer Linear Programing Problems of Traveling Salesman Problems by using Neighbor Constraints
                
            
                12:00
            
            
                
                    - 12:15
                
            
        ロードヒーティングを含む配電システムのモデリングとスイッチング制御
                Modeling and switching control of power distribution systems including road heating
                
            
                12:15
            
            
                
                    - 12:30
                
            
        最大起動停止速度を考慮した多項式型ユニットコミットメント
                Polynomial unit commitment considering maximum up and down rates